$\forall$$A$, $B$:MsgA, $x$:Id.
\\[0ex]$A$ $\parallel$ $B$ $\Rightarrow$ ma{-}init{-}const($A$;$x$) $\Rightarrow$ ma{-}init{-}const($B$;$x$) $\Rightarrow$ ma{-}init{-}const($A$ $\oplus$ $B$;$x$)